domain: "[M] -> { S[a, b] : 0 <= a <= 99 and M <= 2b <= 1 + M }"
child:
  schedule: "[M] -> [{ S[a, b] -> [(a)] }]"
  permutable: 1
  coincident: [ 1 ]
